|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Licence : Laurence Rideau, “programming and algorithms", 50 hours, Lycée Masséna, Nice, France.
-
Licence : Cyril Cohen, “paradigms of programming languages”, 12 hours, University of Nice, France.
-
Master : Yves Bertot and Enrico Tassi, "software verification and computer proof", 21 hours, Université de Nice, France.
-
Master : Laurent Théry, "introduction to Coq", 3 hours, Ecole des Mines de Paris, France.
Supervision
Juries
Yves Bertot was examiner with written report duty for the thesis of Catherine Lelay (University of Paris-south) and examiner for the thesis of Robbert Krebbers (Radboud University Nijmegen).